Computing Abstractions of Nonlinear Systems
نویسندگان
چکیده
منابع مشابه
Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer
This paper proposes a design method for discrete abstractions of nonlinear systems using multi-resolution quantizer, which is capable of handling state dependent approximation precision requirements. To this aim, we extend the notion of quantizer embedding, which has been proposed by the authors’ previous works as a transformation from continuous-state systems to discrete-state systems, to a mu...
متن کاملProgramming Abstractions and Security for Cloud Computing Systems
.............................................................................................................................. ii Table of
متن کاملComputing Flow Pipe of Nonlinear Hybrid Systems
Modern control-command systems often include controllers that perform nonlinear computations to control a physical system, which can typically be described by an hybrid automaton containing highdimensional systems of nonlinear differential equations. To prove safety of such systems, one must compute all the reachable sets from a given initial position, which might be uncertain (its value is not...
متن کاملComputing Controllers for Nonlinear Hybrid Systems
We discuss a procedure for synthesizing controllers for safety specifications for hybrid systems. The procedure depends on the construction of the set of states of a continuous dynamical system that can be driven to a subset of the state space, avoiding another subset of the state space (the Reach-Avoid set). We present a new characterization of the Reach-Avoid set in terms of the solution of a...
متن کاملComputing balanced realizations for nonlinear systems
In 1993, Scherpen generalized the balanced truncation method to the nonlinear setting. However, the Scherpen procedure is not easily computable and has not yet been applied in practice. We offer methods, tools, and algorithms for computing the energy functions and coordinate transformations involved in the Scherpen theory and procedure for nonlinear balancing. We then apply our approach to deri...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Automatic Control
سال: 2011
ISSN: 0018-9286
DOI: 10.1109/tac.2011.2118950